A GAME CHARACTERIZING BAIRE CLASS 1 FUNCTIONS

A New Characterization of Baire Class 1 Functions

We give a new characterization of the Baire class 1 functions (defined on an ultrametric space) by proving that they are exactly the pointwise limits of sequences of full functions, which are particularly simple Lipschitz functions. Moreover we highlight the link between the two classical stratifications of the Borel functions by showing that the Baire class functions of some level are exactly ...

Functions Whose Composition with Baire Class One Functions Are Baire Class One

We study the functions whose composition with Baire class one functions are Baire class one functions. We first prove some characterizations of such functions, then investigate a subclass of such functions which are defined in a natural way.

2 Sequences of Baire Class 1 Functions 3

Ranks on the Baire Class Ξ Functions

In 1990 Kechris and Louveau developed the theory of three very natural ranks on the Baire class 1 functions. A rank is a function assigning countable ordinals to certain objects, typically measuring their complexity. We extend this theory to the case of Baire class ξ functions, and generalize most of the results from the Baire class 1 case. We also show that their assumption of the compactness ...

Decomposing Borel Sets and Functions and the Structure of Baire Class 1 Functions

All spaces considered are metric separable and are denoted usually by the letters X, Y , or Z. ω stands for the set of all natural numbers. If a metric separable space is additionally complete, we call it Polish; if it is a continuous image of ω or, equivalently, of a Polish space, it is called Souslin. The main subject of the present paper is the structure of Baire class 1 functions. Recent de...